logic programming

The Design and Research of Policy Analysis System Based on Logic Programming

基于逻辑编程的安全策略分析系统设计及其关键技术研究

Logic Programming Based Formal Analysis Method of Firewall Rules

一种基于逻辑编程的防火墙规则形式化分析方法

Research on inductive logic programming based learning method and its realization

基于归纳逻辑程序设计的学习方法及其实现的研究

Research on Event Mechanism of Variables in Constraint Logic Programming System

约束逻辑程序设计系统的变量事件机制研究

Automatic logic programming based on first order many sorted theory

基于类型一阶理论的逻辑自动编程

Inductive Logic Programming is a new research field in Machine Learning .

归纳逻辑程序设计（InductiveLogicProgramming，简称ILP）是机器学习中的一个较新的研究领域。

The Effects of Logic Programming on Software Development

逻辑程序设计对软件开发的影响

A theory of automatic logic programming based on second order term rewriting technique

基于二阶项重写技术的逻辑自动编程理论

This paper proposes a new approach to constraint inductive logic programming .

提出了一种新的约束归纳逻辑程序设计方法，并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。

The Control Modes and Their Expressions of The Logic Programming

逻辑程序中的控制策略及其表示

Convergence Performance of Genetic Inductive Logic Programming Influenced by Selection Strategy

选择策略对遗传归纳逻辑程序设计收敛性能的影响

CCS : A New Parallel Execution Model for Logic Programming Languages

CCS：一个新的逻辑式程序设计语言的并行执行模型

Propose Logic Programming based action representation and reasoning support .

提出了基于逻辑程序设计的DDL动作表示和推理支持。

A dynamic method of controlling constraint evaluation for the CSP logic programming

CSP逻辑编程中一种约束评价的动态控制方法

Flexible scheduling based on constraint logic programming and genetic algorithms

基于约束逻辑规划和遗传算法的柔性调度

The semantic framework of an extended logic programming system

扩展的逻辑程序系统及其语义理论

Research on Data-flow Parallel Computation Model for Logic Programming Language

逻辑程序设计语言的数据流并行计算模型研究

Finite Domain Constraint Logic Programming and its Applications CHINESE CHARACTER FINITE AUTOMATA THEORY

有穷论域约束逻辑程序设计及其应用

Wide Data Arithmetic Operation Algorithms for Constraint Logic Programming

约束逻辑编程中宽数据算术运算算法

Linear Logic Programming : Theory and Applications

线性逻辑式程序设计：理论与应用

The inference mechanism is a key technology in AI and Logic Programming .

推理机制是人工智能及逻辑程序设计的关键技术。

Growth Phenomenon of Individuals ' Code Length in Genetic Inductive Logic Programming

遗传归纳逻辑程序设计的个体编码生长现象

Intelligent Control Strategy of Logic Programming languages

逻辑程序语言的智能控制策略

The research on logic programming

逻辑程序设计的研究

An Automatic Rule Learning Method Based on Inductive Logic Programming for Multi-slot Information Extraction

基于归纳逻辑编程的多槽信息抽取规则自动学习方法

Research on Logic Programming and Databases

逻辑程序与数据库研究

Complexity of business logic programming .

业务逻辑编程的复杂性。

On optimal problems in inductive logic programming

归纳逻辑程序设计中的优化问题研究

State logic programming language

状态逻辑型程序设计语言

Logic Programming and Kernel Programming Language 5th Generation

逻辑程序设计与第五代计算机核心语言